Section: Dissemination

Popularization

H. Garavel participated to the committee in charge of organizing the Aerospace Valley series of industrial conferences on formal methods. The second conference (http://www.inria.fr/centre/grenoble/agenda/forum-methodes-formelles ) (http://www.inria.fr/centre/grenoble/actualites/fiabilite-des-logiciels-pas-uniquement-pour-les-avions ), devoted to static analysis, held on June 28, 2013 in Toulouse and retransmitted by video-conference in Grenoble, attracted 95 participants from industry and academia.

R. Mateescu was in charge of the scientific organization of the In'Tech seminar entitled “Formal Validation of Industrial Critical Systems” held on April 18, 2013 at the Inria Grenoble – Rhône-Alpes research center in Montbonnot. The seminar attracted about 100 participants from academia and industry. F. Lang gave a public demonstration of the CADP tools and R. Mateescu gave a talk entitled “Formal Modeling and Verification of Concurrent Systems using CADP”.